finitely generated free module

有限生成自由模